A powers theory of modality—or, how I learned to stop worrying and reject possible worlds

Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice

The future of human - computer interaction , or how I learned to stop worrying and love my intelligent room

interaction, or how I learned to stop worrying and love my intelligent room Michael H. Coen, MIT Artificial Intelligence Lab Predicting the future is notoriously difficult. Suppose 100 years ago someone suggested that every bedroom in the US would soon have a bell that anyone in the world could ring anytime, day or night. Would you have believed it? Nevertheless, the telephone caught on and has...

GPI anchoring of protein in yeast and mammalian cells or: How we learned to stop worrying and love glycophospholipids

How has belief modality contributed to formal semantics?

Looking back the history of formal treatment of linguistics, we cannot disregard the contribution of possible world semantics. Intensional logic of Montague semantics, DRT (Discourse Representation Theory), mental space, and situation theory are closely related to or compared with the notion of possible world. All these theories have commonly clarified the structure of belief context or uncerta...

Possible Worlds II: Nonreductive Theories of Possible Worlds

I briefly discussed a view (see (Lewis, 1986)) which attempts to use (SC) to provide a theory of possible worlds aimed at using (SC) to reduce modality. This review sets aside such reductive theories of possible worlds, and concentrates instead on four leading nonreductive theories. Though some of these theories have reductive variants, the versions that figure most prominently in contemporary ...